A Hybrid Event-B Study of Lane Centering
نویسندگان
چکیده
A case study on automotive lane centering control is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). This allows aspects beyond the reach of a discrete Event-B treatment to be more deeply investigated. Lane centering offers particular challenges concerning how the monitoring of continuously varying continuous functions is handled and how this interacts with discrete mode-level decision making.
منابع مشابه
A Third-degree B-spline Collocation Scheme for Solving a Class of the Nonlinear Lane–-Emden Type Equations
In this paper, we use a numerical method involving collocation method with third B-splines as basis functions for solving a class of singular initial value problems (IVPs) of Lane--Emden type equation. The original differential equation is modified at the point of singularity. The modified problem is then treated by using B-spline approximation. In the case of non-linear problems, we first line...
متن کاملHybrid Method of Logistic Regression and Data Envelopment Analysis for Event Prediction: A Case Study (Stroke Disease)
Abstract Predictive analytics is an area of statistics that deals with extracting information from data and using it to predict trends and behavior patterns. Many mathematical modeling has been developed and used for prediction, and in some cases, they have been found to be very strong and reliable. This paper studies different mathematical and statistical approaches for events prediction. The ...
متن کاملPost-Tensioned Steel Connections Self-Centering Behavior Using the Finite Element Method
Due to lack of the proper and well behavior of steel moment-resisting connections subjected to the great and major earthquakes, excessive researches have been conducted to mitigate the damages on the primary elements and connections. Therefore, elimination of residual drift and increasing the plastic rotation capacity for the connectors in the panel zone are required. The main purpose of this s...
متن کاملComparison of Canal Transportation and Centering Ability of Wave One and SafeSider in Curved Root Canals Using Cone-Beam Computed Tomography
Background and Aim: Maintaining the original central canal path during cleaning and shaping of the root canal system plays an important role in the success of endodontic treatment. This study sought to compare canal transportation and centering ability of WaveOne and SafeSider rotary files using cone-beam computed tomography (CBCT). Materials and Methods: This in-vitro, experimental study was ...
متن کاملComparison of transportation and centering ability using RECIPROC and iRace: A cone-beam computed tomography study
BACKGROUND AND AIM: Root canal treatment, especially in curved and constricted root canals, can be very difficult and time consuming. Several investigations have compared the reciprocating and full sequence motions in terms of shaping ability. The purpose of the present study was to compare the root canal transportation and centering ability of RECIPROC and iRace using cone-beam computed tomogr...
متن کامل